『n月刊ラムダノート Vol.4, No.3』
https://gyazo.com/90ea12be69ae4438cc0783e2f9ca5e95
1 TypeScriptではじめる型システム（遠藤侑介） TypeScriptの極小サブセットに対する型検査器を書き、それを通して型システムを体感してみよう、という内容です。
詳しく言うと、boolean型とnumber型と関数型しかないTypeScriptサブセット言語がターゲットです。 型検査器の実装言語にもTypeScript（処理系はDeno）を使います。 TypeScriptづくしの一品です。
わかる人向けに言うと、「型システム入門」という本（通称TAPL）の単純型付きラムダ計算に相当する内容をTypeScriptで説明してみた、ただし定理や証明はすべて省いた、という感じです。
parserは用意してくれているらしい
2 型を活用した安全なアプリケーション開発（佐藤有斗） 3 「インターネットのカタチ」のその後（小川晃通）